1. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
